From Fibered Symmetric Bimonoidal Categories to Symmetric Spectra
نویسنده
چکیده
In here we define the concept of fibered symmetric bimonoidal categories. These are roughly speaking fibered categories Λ : D → C whose fibers are symmetric monoidal categories parametrized by C and such that both D and C have a further structure of a symmetric monoidal category that satisfy certain coherences that we describe. Our goal is to show that we can correspond to a fibered symmetric bimonoidal category an E∞-ring spectrum in a functorial way.
منابع مشابه
Strictification of Categories Weakly Enriched in Symmetric Monoidal Categories
We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a ”many 0-cells” version of the strictification of bimonoidal categories to strict ones.
متن کاملSymmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions
A new, self-contained, proof of a coherence result for categories equipped with two symmetric monoidal structures bridged by a natural transformation is given. It is shown that this coherence result is sufficient for ω×ω-indexed family of iterated reduced bar constructions based on such a category. Mathematics Subject Classification (2000): 18D10, 55P47
متن کاملRing Completion of Rig Categories
In this paper we offer a solution to the long-standing problem of group completing within the context of rig categories (also known as bimonoidal categories). More precisely, given a rig category R we construct a natural additive group completion R̄ of R that retains the multiplicative structure, meaning that it remains a rig category. In other words, it has become a ring category. If we start w...
متن کاملSymmetric Spectra
Introduction 150 Organization 152 Acknowledgments 152 1. Symmetric spectra 153 1.1. Simplicial sets 153 1.2. Symmetric spectra 154 1.3. Simplicial structure on Sp 156 1.4. Symmetric Ω-spectra 158 2. The smash product of symmetric spectra 159 2.1. Symmetric sequences 159 2.2. Symmetric spectra 162 2.3. The ordinary category of spectra 165 3. Stable homotopy theory of symmetric spectra 165 3.1. S...
متن کاملOrthogonal Spectra and S-modules
There are several symmetric monoidal categories of “spectra” that are model categories with homotopy categories equivalent to the stable homotopy category. The most highly developed, and the first to be made rigorous, is the category M = MS of S-modules of [1]. Its objects are quite complicated, but the complication encodes computationally important information. A second such category is the ca...
متن کامل